Enhancing Formal Methods Integration with ACP2Petri
نویسندگان
چکیده
منابع مشابه
Formal Methods Transformation Optimizations within the Acp2petri Tool
The complexity of discrete systems developments process shows, that it is not realistic to expect, that the only universal formal method will exist, which will cover well all the aspects of this process. We are working towards formal methods integration in order to obtain deeper understanding of system under development/analysis. We chose Petri nets and process algebra, notations with complemen...
متن کاملUsability of semi-formal and formal methods integration : empirical assessments
FACULTY OF ENGINEERING, SCIENCE AND MATHEMATICS SCHOOL OF ELECTRONICS AND COMPUTER SCIENCE Doctor of Philosophy by Rozilawati Razali Software practitioners are provided with an enormous choice of methods and tools for improving software quality. They seem to adopt a new technology only if there is convincing evidence that the technology is usable. Furthermore, it is no longer acceptable in soft...
متن کاملCombining Formal Methods: An Exercise in Integration
Formal methods can rarely capture all the dimensions of a software project. Diierent aspects of a project are thus typically formalized separately, with little or no integration. We study here the integration of a formal speciication methods and a validation method. The methods that we use are Larch and PROMELA/spin. Larch is an algebraic speciication method, specialized in the speciication of ...
متن کاملEnhancing Sat-based Formal Verification Methods Using Global Learning
ABTRACT With the advances in VLSI and System-On-Chip (SOC) technology, the complexity of hardware systems has increased manifold. Today, 70% of the design cost is spent in verifying these intricate systems. The two most widely used formal methods for design verification are Equivalence Checking and Model Checking. Equivalence Checking requires that the implementation circuit should be exactly e...
متن کاملVerification of Communication Protocols Based on Formal Methods Integration
Communication protocols define the set of rules needed to exchange messages between communicating entities. Networked and distributed systems, built around communicating protocols, are widely used nowadays. Since such systems are often deployed in safety-critical applications, confidence in protocol correctness is highly required. We propose an approach based on formal method integration to sup...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of information and organizational sciences
سال: 2016
ISSN: 1846-9418,1846-3312
DOI: 10.31341/jios.40.2.4